proc foo = (if)
